2. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit : Einfuhrung in die Theorie der Rekursiven Funktionen
پدیدآورنده: Hans Hermes
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursive functions
رده :
QA
248
.
5
.
H4
1978
3. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
پدیدآورنده: Hermes, Hans.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H4
1971
4. Aufzahlbarkeit entscheidbakeit berechenbarkeit
پدیدآورنده: Hermes, Hans
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Algorithms
رده :
511
H553a
5. Eine Termlogik mit Auswahloperator
پدیدآورنده: Hermes, Hans
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
6
6. Einfuhrung in die Verbandstheorie
پدیدآورنده: Hermes, Hans.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Lattice theory
رده :
QA
1
.
G7
v
.
73
1967
7. Einführung in die Verbandstheorie.
پدیدآورنده: Hans Hermes
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Einführung.,Lattice theory.,Treillis, Théorie des.
رده :
QA171
.
5
H367
1967
8. Einführung in die mathematische Logik :
پدیدآورنده: von Hans Hermes.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Engineering.
رده :
QA9
.
V664
1972
9. Einfuhrung in die mathematische Logik: Klassische pradikatenlogik
پدیدآورنده: Hermes, Hans
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
H44
10. Einfuhrung in die Verbandstheorie
پدیدآورنده: Hermes, Hans
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Lattice theory
رده :
QA
171
.
5
.
H47
1967
11. Einführung in die Verbandstheorie
پدیدآورنده: /Hans Hermes.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: نظریه شبکه ( لاتیس)
12. Enumerability · Decidability Computability
پدیدآورنده: by Hans Hermes.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Mathematics.
13. Enumerability, decidability, computability
پدیدآورنده: Hermes, Hans
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Recursive functions►Algorithms►Godelʹs theorem►Computable functions
رده :
QA
248
.
5
.
H413
1969
14. Enumerability, decidability, computability; an introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans.
موضوع : ، Recursive functions
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
15. Enumerability, decidability, computability; an introduction to the theory of recursive functions
پدیدآورنده: / by Hans Hermes. Translated by G.T Herman and O. Plassmann
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Recursive functions,Algorithms,Godel's theorem,Computable functions
رده :
QA
248
.
5
.
H413
16. Enumerability decidability computability : an introduction to the theory of recursive functions
پدیدآورنده: Hans Hermes; translated by G.T. Hermann and O. Plassmann
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursive functions,، Algorithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
17. Introduction to mathematical logic
پدیدآورنده: Hermes, Hans
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
H4413
18. Introduction to mathematical logic
پدیدآورنده: Hermes, Hans
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
H44
1973
19. Introduction to mathematical logic
پدیدآورنده: / Hans Hermes; translated from German by Diana Schmidt
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic, symbolic and mathematical
رده :
511
.
3
H553
20. Introduction to mathematical logic
پدیدآورنده: Hans Hermes; translated from German by Diana Schmidt
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
H47I513
1973
